|
|
Dynamické analyzátory pro platformu SearchBestie
Janoušek, Martin ; Češka, Milan (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá návrhem a implementací dynamického analyzátoru kontraktů s parametry. V první části práce je představena problematika testování paralelních programů, včetně metod testování a chyb, které se mohou v těchto programech nacházet. Podrobněji se zabývá metodou dynamické analýzy a věnuje se konkrétním dynamickým analyzátorům, jako jsou FastTrack nebo analyzátor kontraktů. Ve druhé části práce je popsán návrh a implementace dynamického analyzátoru kontraktů pro framework RoadRunner a platformu Searchbestie .
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Návrh simulačního prostředí pro testování provozu autonomních vozidel
Šůstek, Jan ; Krejsa, Jiří (oponent) ; Věchet, Stanislav (vedoucí práce)
Tato diplomová práce se zabývá návrhem simulačního prostředí pro testování autonomních vozidel. V teoretické části byla provedena rešerše dostupných simulátorů autonomního řízení. Dále byly představeny nástroje běžně používané v autonomních vozidlech, jako jsou senzory nebo softwarové moduly. V praktické části byl z dostupných řešení vybrán simulátor CARLA. Nejprve je vysvětlena instalace samotného simulátoru CARLA. Poté byla pomocí programu Roadrunner vytvořena simulační mapa, která napodobuje konkrétní ulici v Brně. Následně je ukázána práce se simulátorem CARLA. Na závěr je zhodnocena práce se simulátorem CARLA a ukázány konkrétní výstupy simulace.
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Dynamické analyzátory pro platformu SearchBestie
Janoušek, Martin ; Češka, Milan (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá návrhem a implementací dynamického analyzátoru kontraktů s parametry. V první části práce je představena problematika testování paralelních programů, včetně metod testování a chyb, které se mohou v těchto programech nacházet. Podrobněji se zabývá metodou dynamické analýzy a věnuje se konkrétním dynamickým analyzátorům, jako jsou FastTrack nebo analyzátor kontraktů. Ve druhé části práce je popsán návrh a implementace dynamického analyzátoru kontraktů pro framework RoadRunner a platformu Searchbestie .
|
host ::
RSS.